We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

In this paper the system IL for relative interpretability is studied.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

In this article, I assess the prospects for the limitarian thesis that someone has too much wealth if they exceed a specific wealth threshold. Limitarianism claims that there are good political and/or ethical reasons to prevent people from having such ‘surplus wealth’, for example, because it has no moral value for the holder or because allowing people to have surplus wealth has less moral value than redistributing it. Drawing on recent literature on distributive justice, I defend two types of limitarian (...) principles of justice. First, limitarian midlevel principles draw on the limitarian thesis to specify normative commitments for guiding institutional design and individual actions. Second, the limitarian presumption draws on that thesis to specify what a just allocation of wealth requires under epistemic constraints. Such a presumption says that without substantive reasons to the contrary, we should regard a distribution as unjust if some people’s wealth exceeds the limitarian threshold. Furthermore, I will argue that we must reject a possible but implausible interpretation of limitarianism as an ideal distributive pattern. Yet both as a midlevel principle and as a presumption, limitarianism can play an important role in theorizing about justice in the real world. (shrink)

A central question in contemporary ethics and political philosophy concerns which entities have moral status. In this article, I provide a detailed analysis of the view that moral status comes in degrees. I argue that degrees of moral status can be specified along two dimensions: (i) the weight of the reason to protect an entity’s morally significant rights and interests; and/or (ii) the rights and interests that are considered morally significant. And I explore some of the complexities that arise when (...) we link degrees of moral status to the weight of reasons to protect bundles and/or the content and size of these bundles, in particular regarding the attribution of moral status to nonparadigmatic entities (e.g. people with severe cognitive disabilities, children, embryos and foetuses, robots, non-human animals, ecosystems, and rivers). (shrink)

Carl Knight argues that lexical sufficientarianism, which holds that sufficientarian concerns should have lexical priority over other distributive goals, is ‘excessive’ in many distinct ways and that sufficientarians should either defend weighted sufficientarianism or become prioritarians. In this article, I distinguish three types of weighted sufficientarianism and propose a weighted sufficientarian view that meets the excessiveness objection and is preferable to both Knight’s proposal and prioritarianism. More specifically, I defend a multi-threshold view which gives weighted priority to benefits directly above (...) and below its thresholds, but gives benefits below the lowest threshold lexical priority over benefits above the highest threshold. (shrink)

Despite the prominence of thresholds in theories of distributive justice, there is no general account of what sort of role is played by the idea of a threshold within such theories. This has allowed an ongoing lack of clarity and misunderstanding around views that employ thresholds. In this article, I develop an account of the concept of thresholds in distributive justice. I argue that this concept contains three elements, which threshold views deploy when ranking possible distributions. These elements are (i) (...) the level of the threshold, (ii) what constitutes the value of the threshold, and (iii) how benefits above and below the threshold must be allocated. I highlight three contributions that this particular account of thresholds makes: it clarifies the nature of the shift that occurs at the threshold; it resolves a common misunderstanding about headcount principles; and it shows how the arbitrariness objection can be met. (shrink)

In this paper, I argue that limitarian policies are a good means to further political equality. Limitarianism, which is a view coined and defended by Robeyns, is a partial view in distributive justice which claims that under non-ideal circumstances it is morally impermissible to be rich. In a recent paper, Volacu and Dumitru level two arguments against Robeyns’ Democratic Argument for limitarianism. The Democratic Argument states that limitarianism is called for given the undermining influence current inequalities in income and wealth (...) have for the value of democracy and political equality. Volacu and Dumitru’s Incentive Objection holds that limitarianism places an excessive and inefficient burden on the rich in ensuring political equality. The Efficacy Objection holds that even if limitarianism limits excessive wealth it still fails to ensure the preservation of political equality. In this paper, I will argue that both of these objections fail, but on separate grounds. I argue that the Incentive objection fails because one could appeal to limitarian policies that are different from the ones discussed by Volacu and Dumitru and which escape the problem of reduced productivity. I argue against the Efficacy Objection that limitarian policies are a partial but highly valuable step towards establishing political equality, and that they can and should complement or be complemented by other strategies. (shrink)

In this article, I assess the prospects for the limitarian thesis that someone has too much wealth if they exceed a specific wealth threshold. Limitarianism claims that there are good political and/or ethical reasons to prevent people from having such ‘surplus wealth’, for example, because it has no moral value for the holder or because allowing people to have surplus wealth has less moral value than redistributing it. Drawing on recent literature on distributive justice, I defend two types of limitarian (...) principles of justice. First, limitarian midlevel principles draw on the limitarian thesis to specify normative commitments for guiding institutional design and individual actions. Second, the limitarian presumption draws on that thesis to specify what a just allocation of wealth requires under epistemic constraints. Such a presumption says that without substantive reasons to the contrary, we should regard a distribution as unjust if some people’s wealth exceeds the limitarian threshold. Furthermore, I will argue that we must reject a possible but implausible interpretation of limitarianism as an ideal distributive pattern. Yet both as a midlevel principle and as a presumption, limitarianism can play an important role in theorizing about justice in the real world. (shrink)

In this article, I propose a novel characterization of sufficientarianism. I argue that sufficientarianism combines three claims: a priority claim that we have non-instrumental reasons to prioritize benefits in certain ranges over benefits in other ranges; a continuum claim that at least two of those ranges are on one continuum; and a deficiency claim that the lower a range on a continuum, the more priority benefits in that range have. This characterization of sufficientarianism sheds new light on two long-standing philosophical (...) debates, namely about the distinctiveness of sufficientarianism as a distributive principle and about the common objections to sufficientarianism. (shrink)

Limitarianism holds that there is an upper limit to how many resources, such as wealth and income, people can permissibly have. In this article, I examine the conceptual structure of limitarianism. I focus on the upper limit and the idea that resources above the limit are ‘excess resources’. I distinguish two possible limitarian views about such resources: (i) that excess resources have zero moral value for the holder; and (ii) that excess resources do have moral value for the holder but (...) that their claim to such resources is outweighed by other normative concerns. Moreover, I argue that, depending on the values limitarianism seeks to promote, limitarians should care about the number of people with excess resources or the total amount of excess resources (or both), that they can adopt redistributive measures and/or predistributive measures, and that some versions of limitarianism should take into account the distribution of risk among those above the riches line. (shrink)

In earlier work on limitarianism, I argued that setting an upper limit to the amount of wealth that people can permissibly have is justified when decision-makers are unaware of or disagree about the appropriate distributive criterion or if they are unaware of people’s relevant features (or both). Robert Huseby has raised several powerful objections to this presumptive argument for limitarianism. Some of these objections call for a revision of my defence of presumptive limitarianism while others call for clarification, both of (...) which I aim to do in this chapter. I will argue that unless decision-makers have substantive reasons to suggest otherwise, they must act as if there is an upper limit to the amount of wealth that people can permissibly have. (shrink)

The growing concentration of wealth has acquired a new urgency in recent years. One particular view in this context is developed by Ingrid Robeyns in her ground-breaking work on limitarianism. According to this view, no one should have more than a certain amount of valuable goods, such as income and wealth. The contributors to this symposium, Brian Berkey, David Axelsen and Lasse Nielsen, Jessica Flanigan and Christopher Freiman, and Lena Halldenius, critically examine various aspects of limitarianism. In particular, they examine (...) how limitarianism should be interpreted and developed as a principle of justice, on what reasons speak in favour and against limitarianism, and on how limitarianism relates to other principles of distributive justice. Our hope is that this symposium will contribute to the ongoing debate in political philosophy about the concentration of wealth and economic justice. (shrink)

The philosophy of biomimicry, I argue, consists of four main areas of inquiry. The first, which has already been explored by Freya Mathews, concerns the “deep” question of what Nature ultimately is. The second, third, and fourth areas correspond to the three basic principles of biomimicry as laid out by Janine Benyus. “Nature as model” is the poetic principle of biomimicry, for it tells us how it is that things are to be “brought forth”. “Nature as measure” is the ethical (...) principle of biomimicry, for it tells us that Nature places ethical limits or standards on what it is possible for us to accomplish. And “Nature as mentor” is the epistemological principle of biomimicry, for it affirms that Nature is the ultimate source of truth, wisdom, and freedom from error. Within this overall framework, I argue that seeing Nature as physis—understood as “self-production” or “self-placing-into-the-open”—constitutes the requisite ground for the poetic, ethical, and epistemological principles of biomimicry, and that biomimicry thus conceived involves a new philosophical paradigm, which I call “enlightened naturalism”. (shrink)

It can be hard to see where money fits in the world. Money seems both real and imaginary, since it has obvious causal powers, but is also, just as obviously, something humans have just made up. Recent philosophical accounts of money have declared it to be real, but for very different reasons. John Searle and Francesco Guala disagree over whether money is just whatever acts like money, or just whatever people believe to be money. In developing their accounts of institutions (...) as a part of social reality, each uses money as a paradigm institution, but they disagree on how institutions exist. Searle argues that the institution of money belongs to an ontological level separate from the physical world, held up by the collective intentions of a group, while Guala claims that money is a part of the ordinary physical world and is just whatever performs a “money-like function” in a group, regardless of what that group believes about it. Here, we argue that any purely functional account like Guala’s will be unable to capture the distinctive phenomenon of money, since monetary transactions are defined by the attitudes transactors hold toward them. Money will be obscured or misidentified if defined functionally. As we go on to show by examining recent work by Smit et al., belief in money does not require taking on all of Searle’s ontological commitments, but money and mental contents will stand or fall together. (shrink)

Two studies investigated how planning affects intention-behavior consistency. In Study 1 an experimental group and control group which each consisted of 14 undergraduates were requested in computerized interviews to indicate which activities they intended to perform on the following day. Subjects in the experimental group were also requested in a second phase of the interviews to specify when and where they intended to perform the activities. The results showed that activities for which time and place had been specified were more (...) likely to be performed. In Study 2 another 75 undergraduates volunteered to participate in an experiment in which they were requested to perform an activity (reporting mood effects of reading a prose excerpt) by themselves on one of three following days. One group of subjects only agreed to perform the activity, another group agreed to perform the activity as well as indicated when and where they would do it, and a third group in addition to this indicated which other activities they would perform on the same day. In support of the hypothesis that planning an activity increases the likelihood that it will be performed, the results showed that subjects who indicated other activities more frequently performed the target activity. More efficient time management resulting from planning may account for the findings, although further research is needed to show this conclusively. (shrink)

Albert Einstein a proposé trois tests de relativité générale, appelés plus tard les tests classiques de relativité générale, en 1916 : la précession de l'orbite de Mercure, la déviation de la lumière du soleil, et le décalage vers le rouge gravitationnel de la lumière. Dicke et Schiff ont établi un cadre pour tester la relativité générale , y compris par le biais d'expériences nulles et en utilisant la physique de l'exploration spatiale, de l'électronique et de la matière condensée, comme l'expérience (...) Pound-Rebka et l'interférométrie laser. DOI: 10.13140/RG.2.2.33735.93607. (shrink)

Aldo Leopold accorded great significance to the images he used to describe both the land and humankind’s relation to it. Focusing on three key images of Leopold’s “ecological imaginary”—the balance, the pyramid, and the round river—this article argues that the most profound of these is the round river. Contrasting this image with James Lovelock’s portrayal of the earth as Gaia, it further argues that Leopold’s round river can be interpreted as a contemporary, ecological reworking of the primordial, Homeric experience of (...) Being, according to which the foundation of the world is a round river, Oceanus. (shrink)

Locke’s property rights are now usually understood to be both fundamental and strictly negative. Fundamental because they are thought to be basic constraints on what we may do, unconstrained by anything deeper. Negative because they are thought to only protect a property holder against the claims of others. Here, I argue that this widespread interpretation is mistaken. For Locke, property rights are constrained by the deeper ‘fundamental law of nature,’ which involves positive obligations to those in need and confines the (...) right to excess property within circumstances where it is not needed to preserve human life. (shrink)

Although Heidegger thinks cybernetics is the “supreme danger,” he also thinks that it harbours within itself poiēsis, the “saving power.” This article providesa justification of this position through an analysis of its relation to Humberto Maturana and Francisco Varela’s Santiago theory of cognition and James Lovelock and Lynn Margulis’ Gaia theory. More specifically, it argues that Maturana and Varela’s criticism of cybernetics and their concomitant theory of “autopoiesis” constitutes the philosophical disclosure of “Being itself,” and that the extension of Santiago (...) theory’s various different conceptualizations of poiēsis to Gaia theory makes possible the rise of the “saving power.”. (shrink)

Cloud computing is rapidly gaining traction in business. It offers businesses online services on demand (such as Gmail, iCloud and Salesforce) and allows them to cut costs on hardware and IT support. This is the first paper in business ethics dealing with this new technology. It analyzes the informational duties of hosting companies that own and operate cloud computing datacenters (e.g., Amazon). It considers the cloud services providers leasing ‘space in the cloud’ from hosting companies (e.g, Dropbox, Salesforce). And it (...) examines the business and private ‘clouders’ using these services. The first part of the paper argues that hosting companies, services providers and clouders have mutual informational (epistemic) obligations to provide and seek information about relevant issues such as consumer privacy, reliability of services, data mining and data ownership. The concept of interlucency is developed as an epistemic virtue governing ethically effective communication. The second part considers potential forms of government restrictions on or proscriptions against the development and use of cloud computing technology. Referring to the concept of technology neutrality, it argues that interference with hosting companies and cloud services providers is hardly ever necessary or justified. It is argued, too, however, that businesses using cloud services (banks, law firms, hospitals etc. storing client data in the cloud, e.g.) will have to follow rather more stringent regulations. (shrink)

Wars and crises worldwide force millions of people to flee and seek refuge, often outside their countries of origin. What moral responsibilities do states have towards refugees? In this Ethical Annotation, Dr Jos Philips and his co-authors zoom in on the responsibilities of EU countries. They consider arguments in favour of and against admitting refugees and argue that EU countries must do at least at much as they can do at little cost, and perhaps even more.

In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.

In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T as a (...) standard for data exchange purposes is often seen by the end-user as a function of the number of applications using that vocabulary (and, by extension, the size of the user base). Furthermore, the adoption of an O/T as an interoperability standard requires confidence in its stability and guaranteed continuity as a resource. (shrink)

An anthology on Panarchy edited by Gian Piero de Bellis for World Wide Wisdom, Saint-Imier, 2023.

Members of the field of philosophy have, just as other people, political convictions or, as psychologists call them, ideologies. How are different ideologies distributed and perceived in the field? Using the familiar distinction between the political left and right, we surveyed an international sample of 794 subjects in philosophy. We found that survey participants clearly leaned left (75%), while right-leaning individuals (14%) and moderates (11%) were underrepresented. Moreover, and strikingly, across the political spectrum, from very left-leaning individuals and moderates to (...) very right-leaning individuals, participants reported experiencing ideological hostility in the field, occasionally even from those from their own side of the political spectrum. Finally, while about half of the subjects believed that discrimination against left- or right-leaning individuals in the field is not justified, a significant minority displayed an explicit willingness to discriminate against colleagues with the opposite ideology. Our findings are both surprising and important, because a commitment to tolerance and equality is widespread in philosophy, and there is reason to think that ideological similarity, hostility, and discrimination undermine reliable belief formation in many areas of the discipline. (shrink)

O objetivo deste artigo é apontar cinco aspectos do pensamento nietzschiano que podem ser relevantes para os debates da filosofia da ciência em torno da natureza e representação do conhecimento científico. Para tanto, é realizada uma revisão de literatura com o objetivo de selecionar trechos de obras nietzschianas como O nascimento da tragédia, Genealogia da moral, A gaia ciência e outras que permitam interpretar Nietzsche como um filósofo da ciência preocupado com a construção do conhecimento cientifico sobre a realidade física. (...) Como resultado é possível identificar uma proposta epistemológica na perspectiva nietzschiana, cuja representação objetiva do mundo deve apontar para uma estética da vida. -/- The purpose of this article is to point out five aspects of Nietzschean thought that may be relevant to debates in the philosophy of science around the nature and representation of scientific knowledge. To this end, a literature review is carried out with the aim of selecting excerpts from Nietzschean works such as The Birth of Tragedy, Genealogy of Morals, The Gay Science and others that allow us to interpret Nietzsche as a philosopher of science concerned with the construction of scientific knowledge about the physical reality. As a result, it is possible to identify an epistemological proposal in the Nietzschean perspective, whose objective representation of the world should point to an aesthetics of life. (shrink)

Why are mistaken beliefs about Covid-19 so prevalent? Political identity, education and other demographic variables explain only a part of individual differences in the susceptibility to Covid-19 misinformation. This paper focuses on another explanation: epistemic vice. Epistemic vices are character traits that interfere with acquiring, maintaining, and transmitting knowledge. If the basic assumption of vice epistemology is right, then people with epistemic vices such as indifference to the truth or rigidity in their belief structures will tend to be more susceptible (...) to believing Covid-19 misinformation. We carried out an observational study (US sample, n = 998) in which we measured the level of epistemic vice of participants using a novel Epistemic Vice Scale. We also asked participants questions eliciting the extent to which they subscribe to myths and misinformation about Covid-19. We find overwhelming evidence to the effect that epistemic vice is associated with susceptibility to Covid-19 misinformation. In fact, the association turns out to be stronger than with political identity, educational attainment, scores on the Cognitive Reflection Test, personality, dogmatism, and need for closure. We conclude that this offers evidence in favor of the empirical presuppositions of vice epistemology. (shrink)

The complexities of how justice comes to be realized, and by which agents, is a relatively neglected element in contemporary theories of justice. This has left several crucial questions about agency and justice undertheorized, such as why some particular agents are responsible for realizing justice, how their contribution towards realizing justice should be understood, and what role agents such as activists and community leaders play in realizing justice. We aim to contribute towards a better understanding of the landscape of these (...) kinds of questions. First, we argue that theorists should distinguish between (i) agents who are responsible for realizing justice, but not committed to it, (ii) agents who are not responsible for realizing justice, but who are committed to it, and (iii) agents who are both responsible for and committed to realizing justice. Second, we discuss how to incorporate agents of justice more robustly into theorizing about justice. (shrink)

The distinction between propositional and doxastic justification is well-known among epistemologists. Propositional justification is often conceived as fundamental and characterized in an entirely apsychological way. In this chapter, I focus on beliefs based on deductive arguments. I argue that such an apsychological notion of propositional justification can hardly be reconciled with the idea that justification is a central component of knowledge. In order to propose an alternative notion, I start with the analysis of doxastic justification. I then offer a notion (...) of propositional justification, intersubjective propositional justification, that is neither entirely apsychological nor idiosyncratic. To do so, I argue that to be able to attribute propositional justification to a subject, we have to consider her social context as well as broad features of our human cognitive architecture. (shrink)

Although science is our most reliable producer of knowledge, it can also be used to create ignorance, unjustified doubt, and misinformation. In doing so, agnotological practices result not only in epistemic harms but also in social ones. A way to prevent or minimise such harms is to impede these ignorance-producing practices. In this paper, I explore various challenges to such a proposal. I first argue that reliably identifying agnotological practices in a way that permits the prevention of relevant harms is (...) more difficult than it might appear. I focus on an identifying criterion that many find apt for the task: bad faith motives. I then consider an objection—that reliable criteria are unnecessary to successfully address the concerns raised by agnotological strategies—and I show that it fails. I conclude by exploring other ways of conceptualising the problems attributed to agnotological practices. In particular, I challenge the focus on misinformation as the main problem of concern. (shrink)

Spanish version of my analysis of Oaxaca-based experimental filmmaker Bruno Varela's 2022 feature-length film El Prototipo, which draws on ideas from Philip K. Dick's novel Valis.

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

I argue that culpable ignorance can be irreducibly collective. In some cases, it is not fair to expect any individual to have avoided her ignorance of some fact, but it is fair to expect the agents together to have avoided their ignorance of that fact. Hence, no agent is individually culpable for her ignorance, but they are culpable for their ignorance together. This provides us with good reason to think that any group that is culpably ignorant in this irreducibly collective (...) sense is non-distributively collectively responsible for subsequent unwitting acts and consequences. (shrink)

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

The themes addressed by this paper intersect the industrial heritage and its main components, from industrial archeology to the technical landscapes of production. From this point of view, the historic center of São Luís, Brazil as case study has an intrinsic relationship with the Bacanga River. It is the main landscape that is to the surroundings of the historical center tilted by the Unesco. The historic center of São Luís with the sea and the river dialogue between colonial urban occupation (...) and water as a landscape that embraces this urbanization. (shrink)

The objective of this work is to reflect on the usual and the unusual, based on Friedrich Nietzsche's perspective on the opposition between the pathos of distance or nobility and the ethos from the point of view of utility. In order to do so, an analysis of selected excerpts from Nietzsche's works is carried out, mainly On the genealogy of morality and Beyond Good and Evil. According to Nietzsche, there is no ethos, but only pathos, being the ethos, affirmed by (...) asceticism, only a strategy, a cunning and deceitful invention for the conservation of a precarious way of life. It is this ethos that forges and fixes ascetic values that represent the usual, by inverting values from the point of view of the resentful human's utility. Based on this Nietzschean perspective, we seek to reflect on the unusual as an active impulse that characterizes the noble-type pathos of distance, and the usual as a reactive impulse that characterizes the éthos from the point of view of utility. (shrink)

Value Sensitive Design (VSD) is an established method for integrating values into technical design. It has been applied to different technologies and, more recently, to artificial intelligence (AI). We argue that AI poses a number of challenges specific to VSD that require a somewhat modified VSD approach. Machine learning (ML), in particular, poses two challenges. First, humans may not understand how an AI system learns certain things. This requires paying attention to values such as transparency, explicability, and accountability. Second, ML (...) may lead to AI systems adapting in ways that ‘disembody’ the values embedded in them. To address this, we propose a threefold modified VSD approach: 1) integrating a known set of VSD principles (AI4SG) as design norms from which more specific design requirements can be derived; 2) distinguishing between values that are promoted and respected by the design to ensure outcomes that not only do no harm but also contribute to good; and 3) extending the VSD process to encompass the whole life cycle of an AI technology in order to monitor unintended value consequences and redesign as needed. We illustrate our VSD for AI approach with an example use case of a SARS-CoV-2 contact tracing app. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

The objective of this work is to present Ludwig Wittgenstein's perspective on the impossibility of the existence of philosophical problems, to then reflect on the implications of such a perspective based on Popper's thought. For that, Wittgenstein's perspective, as exposed in his work Tractatus logico-philosophicus, is contrasted with Karl Popper's perspective presented in “The nature of philosophical problems and their scientific roots” (in Conjectures and refutations). The example of the problem faced by Kant in his work Critique of pure reason (...) will also be considered for the analysis of Wittgenstein's argument. According to Wittgenstein, philosophical problems are pseudo-problems because they have no solution. However, despite admitting the existence of pseudo-problems, Popper argues that factual, logical, or hybrid problems, under certain circumstances, can be philosophical. Thus, the aim is to contrast these two perspectives in order to emphasize how not all philosophical problems are pseudo-problems. (shrink)

A Crítica de Hume ao Argumento do Desígnio José Oscar de Almeida Marques Dep. de Filosofia – UNICAMP -/- RESUMO: É comum considerar que o chamado “argumento do desígnio” (o argumento a posteriori para provar a existência de Deus a partir da ordem e funcionalidade do mundo) teria sido refutado ou seriamente abalado por Hume. Mas a natureza e o alcance dessa alegada refutação são problemáticos, pois Hume muitas vezes expressou suas críticas através de seus personagens e evitou assumi-las diretamente (...) enquanto autor. Em vez de supor que Hume procedeu dessa forma apenas para disfarçar suas verdadeiras convicções e evitar um conflito com as autoridades eclesiásticas, proponho que sua posição nesse assunto não é tão categórica como às vezes se supõe, e que os famosos argumentos de Filo nos Diálogos mostram apenas que é possível que a ordem e funcionalidade do mundo tenham surgido sem a intervenção de um desígnio consciente, mas não podem por si sós dar a essa hipótese o mínimo grau de plausibilidade necessário para torná-la digna de uma séria consideração. De fato, antes da revolução explicativa operada por Darwin um século depois, ninguém estava realmente em condições de vislumbrar uma alternativa plausível à atuação de algum tipo de inteligência na geração da ordem e funcionalidade do mundo. ------------ Some Remarks on Hume’s Critique of the Argument from Design José Oscar of Almeida Marques Dep. of Philosophy - UNICAMP -/- ABSTRACT: The so-called “argument from design” (the a posteriori argument to prove the existence of God from the order and functionality of the world) is commonly considered to have been refuted or seriously impaired by Hume. But the nature and scope of this alleged refutation is problematic because Hume often expressed his critics through other characters’ mouth and avoided to assume them directly as author. Contrarily to the supposition that Hume proceeded in this way only to disguise his true convictions and to avoid a confrontation with the ecclesiastical authorities, I propose that his stance on the matter is not, in fact, as clear-cut as it is sometimes supposed, and that Philo’s famous arguments in the Dialogues show only that it is possible for the order and functionality of the world to have arisen without the intervention of an intelligent design, but cannot by themselves lend to this hypothesis the least degree of plausibility needed to make it worthy of serious consideration. In fact, before the explanatory revolution inaugurated by Darwin a century later, nobody was in position to envisage a plausible alternative to the operation of some sort or other of intelligence in the generation of the order and functionality of the world. (shrink)

As neuroscience progresses, we will not only gain a better understanding of how our brains work, but also a better understanding of how to modify them, and as a result, our mental states. An important question we are faced with is whether the state could be justified in implementing such methods on criminal offenders, without their consent, for the purposes of rehabilitation and reduction of recidivism; a practice that is already legal in some jurisdictions. By focusing on a prominent type (...) of view of free action, which I call bypassing views, this paper evaluates how such interventions may negatively impact the freedom of their subjects. The paper concludes that there will be a tension between the goals of rehabilitation and reduction of recidivism, on the one hand, and the negative impact such interventions may have on free action, on the other. Other things equal, the better that a particular intervention is at achieving the former, the more likely it is to result in the latter. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

There is a large gap between the specialized knowledge of scientists and laypeople’s understanding of the sciences. The novice-expert problem arises when non-experts are confronted with (real or apparent) scientific disagreement, and when they don’t know whom to trust. Because they are not able to gauge the content of expert testimony, they rely on imperfect heuristics to evaluate the trustworthiness of scientists. This paper investigates why some bodies of scientific knowledge become polarized along political fault lines. Laypeople navigate conflicting epistemic (...) and social demands in their acceptance of scientific testimony; this might explain their deference to scientific fringe theories, which often goes together with denying established scientific theories. I evaluate three approaches to mitigate denialism: improving the message, improving the messenger, and improving the environment in which the message is conveyed. (shrink)

In search of our highest capacities, cognitive scientists aim to explain things like mathematics, language, and planning. But are these really our most sophisticated forms of knowing? In this paper, I point to a different pinnacle of cognition. Our most sophisticated human knowing, I think, lies in how we engage with each other, in our relating. Cognitive science and philosophy of mind have largely ignored the ways of knowing at play here. At the same time, the emphasis on discrete, rational (...) knowing to the detriment of engaged, human knowing pervades societal practices and institutions, often with harmful effects on people and their relations. There are many reasons why we need a new, engaged—or even engaging—epistemology of human knowing. The enactive theory of participatory sense-making takes steps towards this, but it needs deepening. Kym Maclaren’s idea of letting be invites such a deepening. Characterizing knowing as a relationship of letting be provides a nuanced way to deal with the tensions between the knower’s being and the being of the known, as they meet in the process of knowing-and-being-known. This meeting of knower and known is not easy to understand. However, there is a mode of relating in which we know it well, and that is: in loving relationships. I propose to look at human knowing through the lens of loving. We then see that both knowing and loving are existential, dialectic ways in which concrete and particular beings engage with each other. (shrink)